/*@ true */
int  main(int  a, int  b)
{
  int  i;
  int  j;
  int  k;
  int  *  p;


  k=9;
  if ((i) > (0))
  {
    i=((((0) + (8)) + (6)) + (5)) + (444);
    j=0;
    j=k;
    i=j;
  }
  else
  {
    i=(a) + (b);
  }
  return (i);
}
/*@ true */


